Gain Enhancement of a Wide Slot Antenna Using a Second-Order Bandpass Frequency Selective Surface

Gain enhancement of a wide slot antenna over a wide frequency band using a low profile, second order bandpass frequency selective surface (FSS) as a superstrate is presented in this paper. The proposed multilayered FSS with non-resonant unit cells in each layer allows in-phase transmission of waves radiated from the antenna over a 3dB bandwidth of about 50%. The design allows an enhancement of upto 4dBi in the antenna gain over the entire frequency band (5-8GHz) of operation. The FSS provides a very low insertion loss between the two transmission poles along with a linearly decreasing transmission phase over the band. The composite structure shows an impedance bandwidth (-10dB) of 65% with an average gain between 6-8dBi over the frequency band with a peak gain of 9dBi. Measurement results of the fabricated prototype matches well with the predicted values

Minimizing Running Costs in Consumption Systems

A standard approach to optimizing long-run running costs of discrete systems is based on minimizing the mean-payoff, i.e., the long-run average amount of resources ("energy") consumed per transition. However, this approach inherently assumes that the energy source has an unbounded capacity, which is not always realistic. For example, an autonomous robotic device has a battery of finite capacity that has to be recharged periodically, and the total amount of energy consumed between two successive charging cycles is bounded by the capacity. Hence, a controller minimizing the mean-payoff must obey this restriction. In this paper we study the controller synthesis problem for consumption systems with a finite battery capacity, where the task of the controller is to minimize the mean-payoff while preserving the functionality of the system encoded by a given linear-time property. We show that an optimal controller always exists, and it may either need only finite memory or require infinite memory (it is decidable in polynomial time which of the two cases holds). Further, we show how to compute an effective description of an optimal controller in polynomial time. Finally, we consider the limit values achievable by larger and larger battery capacity, show that these values are computable in polynomial time, and we also analyze the corresponding rate of convergence. To the best of our knowledge, these are the first results about optimizing the long-run running costs in systems with bounded energy stores.Comment: 32 pages, corrections of typos and minor omission

Unified Concept of Bottleneck

The term `bottleneck` has been extensively used in operations management literature. Management paradigms like the Theory of Constraints focus on the identification and exploitation of bottlenecks. Yet, we show that the term has not been rigorously defined. We provide a classification of bottleneck definitions available in literature and discuss several myths associated with the concept of bottleneck. The apparent diversity of definitions raises the question whether it is possible to have a single bottleneck definition which has as much applicability in high variety job shops as in mass production environments. The key to the formulation of an unified concept of bottleneck lies in relating the concept of bottleneck to the concept of shadow price of resources. We propose an universally applicable bottleneck definition based on the concept of average shadow price. We discuss the procedure for determination of bottleneck values for diverse production environments. The Law of Diminishing Returns is shown to be a sufficient but not necessary condition for the equivalence of the average and the marginal shadow price. The equivalence of these two prices is proved for several environments. Bottleneck identification is the first step in resource acquisition decisions faced by managers. The definition of bottleneck presented in the paper has the potential to not only reduce ambiguity regarding the meaning of the term but also open a new window to the formulation and analysis of a rich set of problems faced by managers.

Quantitative multi-objective verification for probabilistic systems

We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour. These systems are modelled as probabilistic automata, enriched with cost or reward structures that capture, for example, energy usage or performance metrics. Quantitative properties of these models are expressed in a specification language that incorporates probabilistic safety and liveness properties, expected total cost or reward, and supports multiple objectives of these types. We propose and implement an efficient verification framework for such properties and then present two distinct applications of it: firstly, controller synthesis subject to multiple quantitative objectives; and, secondly, quantitative compositional verification. The practical applicability of both approaches is illustrated with experimental results from several large case studies

Non-Zero Sum Games for Reactive Synthesis

In this invited contribution, we summarize new solution concepts useful for the synthesis of reactive systems that we have introduced in several recent publications. These solution concepts are developed in the context of non-zero sum games played on graphs. They are part of the contributions obtained in the inVEST project funded by the European Research Council.Comment: LATA'16 invited pape

Decidability Results for Multi-objective Stochastic Games

We study stochastic two-player turn-based games in which the objective of one player is to ensure several infinite-horizon total reward objectives, while the other player attempts to spoil at least one of the objectives. The games have previously been shown not to be determined, and an approximation algorithm for computing a Pareto curve has been given. The major drawback of the existing algorithm is that it needs to compute Pareto curves for finite horizon objectives (for increasing length of the horizon), and the size of these Pareto curves can grow unboundedly, even when the infinite-horizon Pareto curve is small. By adapting existing results, we first give an algorithm that computes the Pareto curve for determined games. Then, as the main result of the paper, we show that for the natural class of stopping games and when there are two reward objectives, the problem of deciding whether a player can ensure satisfaction of the objectives with given thresholds is decidable. The result relies on intricate and novel proof which shows that the Pareto curves contain only finitely many points. As a consequence, we get that the two-objective discounted-reward problem for unrestricted class of stochastic games is decidable.Comment: 35 page

Kinetic market models with single commodity having price fluctuations

We study here numerically the behavior of an ideal gas like model of markets having only one non-consumable commodity. We investigate the behavior of the steady-state distributions of money, commodity and total wealth, as the dynamics of trading or exchange of money and commodity proceeds, with local (in time) fluctuations in the price of the commodity. These distributions are studied in markets with agents having uniform and random saving factors. The self-organizing features in money distribution are similar to the cases without any commodity (or with consumable commodities), while the commodity distribution shows an exponential decay. The wealth distribution shows interesting behavior: Gamma like distribution for uniform saving propensity and has the same power-law tail, as that of the money distribution, for a market with agents having random saving propensity.Comment: RevTeX4, 6 pages, 5 eps figures, accepted in Eur. Phys. J.

Effect of Zn doping on the Magneto-Caloric effect and Critical Constants of Mott Insulator MnV2O4

X-ray absorption near edge spectra (XANES) and magnetization of Zn doped MnV2O4 have been measured and from the magnetic measurement the critical exponents and magnetocaloric effect have been estimated. The XANES study indicates that Zn doping does not change the valence states in Mn and V. It has been shown that the obtained values of critical exponents \b{eta}, {\gamma} and {\delta} do not belong to universal class and the values are in between the 3D Heisenberg model and the mean field interaction model. The magnetization data follow the scaling equation and collapse into two branches indicating that the calculated critical exponents and critical temperature are unambiguous and intrinsic to the system. All the samples show large magneto-caloric effect. The second peak in magneto-caloric curve of Mn0.95Zn0.05V2O4 is due to the strong coupling between orbital and spin degrees of freedom. But 10% Zn doping reduces the residual spins on the V-V pairs resulting the decrease of coupling between orbital and spin degrees of freedom.Comment: 19 pages, 9 Figures. arXiv admin note: substantial text overlap with arXiv:1311.402